Preface 21-22

Contents 1 Preface 22 Algebraic Theory of Regular Languages 22

from [TW96]) We reveal an intimate connection between semidirect products of nite semigroups and substitution of formulas in linear temporal logic. We use this connection to obtain an algebraic characterization of the `until' hierarchy of linear temporal logic; the k-th level of that hierarchy is comprised of all temporal properties that are expressible by a formula of nesting depth k in the `u...

Progress in Allergy, Vols. 21 and 22

Immunology is blessed with two superb serial publications ofreview articles. It is also interesting that both have misleading titles. Transplantation Reviews has had little to do directly with transplantation and is only now becoming Immunologic Reviews. Similarly, Progress in Allergy is only tangentially related to the clinical discipline of allergy although it began as a much more clinical jo...

Drugs Aging 2005; 22 (1): 1-21

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. Physiology of Aqueous Humour and Intraocular Pressure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2. Medical Treatment of Glaucoma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....

College Voice Vol. 22 No. 21

PREFACE